More from this Author

Model Checking Software

by Corina S. Pasareanu (Editor)

Formal Aspects of Component Software

by Corina S. Pasareanu (Editor), Gwen Salaün (Editor), Gwen Salaün (Editor)